A Strict Totally Coordinatized Version of Kapranov and Voevodsky's 2-category 2vect
نویسنده
چکیده
The purpose of this paper is to give a concrete description of a strict totally coordinatized version of Kapranov and Voevodsky’s 2-category of finite dimensional 2-vector spaces. In particular, we give explicit formulas for the composition of 1-morphisms and the two compositions between 2-morphisms.
منابع مشابه
Representation theory of 2-groups on finite dimensional 2-vector spaces
In this paper we unfold the 2-category structure of the representations of a (strict) 2-group on (a suitable version of) Kapranov and Voevodsky’s 2-category of finite dimensional 2-vector spaces and we discuss the relationship with classical representation theory of groups on finite dimensional vector spaces. In particular, we prove that the monoidal category of representations of any group G a...
متن کامل2-Groups, trialgebras and their Hopf categories of representations
A strict 2-group is a 2-category with one object in which all morphisms and all 2morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the present article, we develop the notions of trialgebra and cotrialgebra, generalizations of Hopf algebras with two multiplications and one comultiplication or...
متن کاملESI The Erwin Schrödinger International
A strict 2-group is a 2-category with one object in which all morphisms and all 2morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the present article, we develop the notions of trialgebra and cotrialgebra, generalizations of Hopf algebras with two multiplications and one comultiplication or...
متن کاملRepresentation theory of 2-groups on Kapranov and Voevodsky’s 2-vector spaces
In this paper the 2-category Rep 2MatC (G) of (weak) representations of an arbitrary (weak) 2-group G on (some version of) Kapranov and Voevodsky’s 2-category of (complex) 2-vector spaces is studied. In particular, the set of equivalence classes of representations is computed in terms of the invariants π0(G), π1(G) and [α] ∈ H 3(π0(G), π1(G)) classifying G. Also the categories of morphisms (up ...
متن کاملActions of a separately strict cpo-monoid on pointed directed complete posets
In the present article, we study some categorical properties of the category {$bf Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with a compatible right action of a separately strict cpo-monoid $S$ which is strict continuous in each component. In particular, we show that this category is reflective and coreflective in the category of $S$-cpo's, find the free a...
متن کامل